Skip to content

miri: use Bazel target for Miri tests#254

Draft
arkjedrz wants to merge 2 commits into
eclipse-score:mainfrom
qorix-group:arkjedrz_miri-bazel-target
Draft

miri: use Bazel target for Miri tests#254
arkjedrz wants to merge 2 commits into
eclipse-score:mainfrom
qorix-group:arkjedrz_miri-bazel-target

Conversation

@arkjedrz

@arkjedrz arkjedrz commented Jun 18, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor
  • Enable Miri for Bazel in repo.
  • Add miri_test target for HMON.
  • Update dev deps.
  • Remove unnecessary Miri workflow.
  • Disable Miri tests for coverage workflow.

@arkjedrz arkjedrz requested a review from pawelrutkaq June 18, 2026 10:18
@arkjedrz arkjedrz self-assigned this Jun 18, 2026
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 10:18 — with GitHub Actions Waiting
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 10:18 — with GitHub Actions Waiting
@github-actions

github-actions Bot commented Jun 18, 2026 •
edited
Loading

Copy link
Copy Markdown

License Check Results

🚀 The license check job ran with the Bazel command:

bazel run --lockfile_mode=error //:license-check

Status: ⚠️ Needs Review

Click to expand output 
[License Check Output]
Extracting Bazel installation...
Starting local Bazel server (8.4.2) and connecting to it...
INFO: Invocation ID: d6a3dcf4-6f8c-4111-b19f-29bd310b3eeb
Computing main repo mapping: 
Computing main repo mapping: 
Loading: 
Loading: 0 packages loaded
Loading: 0 packages loaded
Loading: 0 packages loaded
    currently loading: 
Loading: 0 packages loaded
    currently loading: 
Analyzing: target //:license-check (1 packages loaded)
Analyzing: target //:license-check (1 packages loaded, 0 targets configured)
Analyzing: target //:license-check (1 packages loaded, 0 targets configured)

Analyzing: target //:license-check (30 packages loaded, 10 targets configured)

Analyzing: target //:license-check (83 packages loaded, 10 targets configured)

Analyzing: target //:license-check (134 packages loaded, 1117 targets configured)

Analyzing: target //:license-check (147 packages loaded, 3454 targets configured)

Analyzing: target //:license-check (151 packages loaded, 7585 targets configured)

Analyzing: target //:license-check (158 packages loaded, 8130 targets configured)

Analyzing: target //:license-check (159 packages loaded, 8254 targets configured)

Analyzing: target //:license-check (163 packages loaded, 10266 targets configured)

INFO: Analyzed target //:license-check (163 packages loaded, 10268 targets configured).
[12 / 16] JavaToolchainCompileClasses external/rules_java+/toolchains/platformclasspath_classes; 0s disk-cache, processwrapper-sandbox ... (2 actions running)
[14 / 16] JavaToolchainCompileBootClasspath external/rules_java+/toolchains/platformclasspath.jar; 0s disk-cache, processwrapper-sandbox
INFO: Found 1 target...
Target //:license.check.license_check up-to-date:
  bazel-bin/license.check.license_check
  bazel-bin/license.check.license_check.jar
INFO: Elapsed time: 20.285s, Critical Path: 2.47s
INFO: 16 processes: 12 internal, 3 processwrapper-sandbox, 1 worker.
INFO: Build completed successfully, 16 total actions
INFO: Running command line: bazel-bin/license.check.license_check ./formatted.txt <args omitted>
usage: org.eclipse.dash.licenses.cli.Main [-batch <int>] [-cd <url>]
       [-confidence <int>] [-ef <url>] [-excludeSources <sources>] [-help] [-lic
       <url>] [-project <shortname>] [-repo <url>] [-review] [-summary <file>]
       [-timeout <seconds>] [-token <token>]

@github-actions

github-actions Bot commented Jun 18, 2026

Copy link
Copy Markdown

The created documentation from the pull request is available at: docu-html

@arkjedrz arkjedrz force-pushed the arkjedrz_miri-bazel-target branch from e41fbf3 to 6bb9fb9 Compare June 18, 2026 11:53
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 11:53 — with GitHub Actions Waiting
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 11:53 — with GitHub Actions Waiting
@arkjedrz arkjedrz force-pushed the arkjedrz_miri-bazel-target branch from 6bb9fb9 to 5d31501 Compare June 18, 2026 12:12
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 12:12 — with GitHub Actions Waiting
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 12:12 — with GitHub Actions Waiting
@arkjedrz arkjedrz force-pushed the arkjedrz_miri-bazel-target branch from 5d31501 to 3623675 Compare June 18, 2026 12:13
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 12:13 — with GitHub Actions Waiting
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 12:13 — with GitHub Actions Waiting
@arkjedrz arkjedrz force-pushed the arkjedrz_miri-bazel-target branch from 3623675 to eb4ed2e Compare June 18, 2026 12:30
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 12:30 — with GitHub Actions Waiting
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 12:30 — with GitHub Actions Waiting
@arkjedrz arkjedrz force-pushed the arkjedrz_miri-bazel-target branch from eb4ed2e to 702d89a Compare June 18, 2026 13:02
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 13:02 — with GitHub Actions Waiting
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 13:02 — with GitHub Actions Waiting
@arkjedrz arkjedrz force-pushed the arkjedrz_miri-bazel-target branch from 702d89a to 5be17e6 Compare June 18, 2026 13:19
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 13:20 — with GitHub Actions Waiting
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 13:20 — with GitHub Actions Waiting
@arkjedrz arkjedrz force-pushed the arkjedrz_miri-bazel-target branch from 5be17e6 to c677f22 Compare June 18, 2026 13:30
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 13:30 — with GitHub Actions Waiting
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 13:30 — with GitHub Actions Waiting
@arkjedrz
miri: use Bazel target for Miri tests
68eb3a4 
- Enable Miri for Bazel in repo.
- Add `miri_test` target for HMON.
- Remove unnecessary Miri workflow.
- Fix coverage workflow.
  - Disable Miri for Rust coverage workflow.
  - Disable Rust targets for C++ coverage and vice versa.
@arkjedrz arkjedrz force-pushed the arkjedrz_miri-bazel-target branch from c677f22 to 68eb3a4 Compare June 18, 2026 14:27
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 14:27 — with GitHub Actions Waiting
@arkjedrz arkjedrz requested a deployment to workflow-approval June 18, 2026 14:27 — with GitHub Actions Waiting
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@pawelrutkaq pawelrutkaq Awaiting requested review from pawelrutkaq

At least 1 approving review is required to merge this pull request.

Assignees

@arkjedrz arkjedrz

Labels

None yet

Projects

LCM - Lifecycle & Health FT
Status: Backlog

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@arkjedrz